- 双语例句 更多例句
Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN
描述逻辑εLN循环术语集的不动点语义及推理
互联网摘选
- 相关词组
- logic semantics[计]逻辑语义学;
- fault semantics[计]故障语义学;
- lexical semantics词汇语义学;
- final semantics[计]最终语义学;
- body semantics体态语义学;手势语义学;
- data semantics[计]数据语义学;
- least fixpoint最小不动点
- abstract semantics[计]抽象语义学;
- deterministic semantics[计] 确定性语义学;
- standard semantics[计]标准语义学;
- language semantics[计]语言语义学;
- temporal semantics[计]时序语义学;
- verb semantics动词语义学;
- least fixpoint of functionals泛函的最小不动点
- generative semantics生成语义学
- world semantics[计] 世界语义学;
- tree semantics[计]树状语义学;
- dynamic semantics[计]动态语义学;
- formal semantics形式语义学[程序];
- program semantics程序语义学;
- 今日热词
- 热门搜索
- family n. (大)家庭(包括父母子女及近亲);家族;家(包括父母子女);子女;(动植物)科;亲属adj. 家庭的;一家所有的;属于家庭的;适合全家人的;
- across prep.穿过;横穿,横过;与…交叉;在…对面;adv.横过,越过;在对面;交叉;斜对面;
- state v.陈述;公布;n.状态;国家;州;
- Bluetooth n.蓝牙(一种无线传输技术);
- wawa n.(弱音器在喇叭口移出移进时短号等产生的)“哇哇”声; “哇哇”声发生器;
- give me some sunshine 给我些阳光;给我点阳光;给我阳光
- sideroad n.旁路;支路;小路;人行道;岔道;
- bond n.纽带;联系;债券;保释金;v.使结合;建立互信关系;与…紧密联系;与…黏合;
- When You Are Old 当你老的时候;当你老了;当你老去时;当你年老时
- hunter n.猎人;猎犬;猎狐马,猎食其他动物的野兽;亨特;
- painter n.画家,着色者;油漆匠;(系船的)缆绳;
- income n.收入;所得 ;收益;
